大脑血液动力学现象中的能量编码

神经信息的编码与解码是神经科学中的核心研究内容,同时又极具挑战性.传统的编码理论都具有各自的局限性,很难从脑的全局运行方式上给出有效的理论.而由于能量是一个标量具有可叠加性,因此能量编码理论可以从神经元活动的能量特征出发来研究脑功能的全局神经编码问题,取得了一系列的研究成果.本研究以王-张神经元能量计算模型为基础,构建了一个多层次结构的神经网络,通过计算机数值模拟得到了神经网络的能量消耗和血液中葡萄糖供能的变化情况.计算结果显示,和网络的神经活动达到峰值的时间相比,血液中葡萄糖的供能达到峰值的时间延迟了约5.6s.从定量的角度再现了功能性核磁共振(fMRI)中的血液动力学现象:大脑某个脑区的神经元集群被激活以后经过5~7 s的延迟,脑血流的变化才会大幅增加.模拟结果表明先前发表的由王-张神经元模型所揭示的负能量机制在控制大脑的血液动力学现象中起着核心的作用,预测了刺激条件下大脑的能量代谢与血流之间变化的本质是由神经元在发放动作电位过程中正、负能量之间的非平衡、不匹配性质所决定的.本文的研究结果为今后进一步探究血液动力学现象的生理学机制提供了新的研究方向,在神经网络的建模与计算方面给出了一个新的视角和研究方法.      

空间机器人捕获航天器后基于无源性理论的鲁棒镇定控制

研究了漂浮基空间机器人捕获非合作航天器过程对系统产生的冲击效应及其后联合体系统镇定运动的控制问题。为此,利用拉格朗日方法及牛顿-欧拉法分别获得了捕获前空间机器人及目标航天器的动力学模型;结合动量守恒定律、系统运动几何关系及力的传递规律,分析了捕获过程相互碰撞所产生的冲击效应,建立了捕获完成后两者联合体的系统动力学模型。在此基础上,针对同时存在不确定参数及外部扰动的联合体系统,设计了基于无源性理论的镇定运动神经网络H_∞鲁棒控制算法。本文提出的基于无源性理论设计的鲁棒控制算法具有良好的动态特性及较强的鲁棒性,可快速完成系统的镇定控制,实现轨迹的精确跟踪。系统数值模拟仿真验证了本文控制方案的正确性。     

PDα‐type distributed learning control for nonlinear fractional‐order multiagent systems

This paper considers the consensus tacking problem for nonlinear fractional‐order multiagent systems by presenting a PD^α‐type iterative learning control update law with initial learning mechanisms. The asymptotical convergence of the proposed distributed learning algorithm is strictly proved by using the properties of fractional calculus. A sufficient condition is derived to guarantee the whole multiagent system achieving an asymptotic output consensus. An illustrative example is given to verify the theoretical results.     

Artificial neural network‐based modeling of snow properties using field data and hyperspectral imagery

This study attempts to model snow wetness and snow density of Himalayan snow cover using a combination of Hyperspectral image processing and Artificial Neural Network (ANN). Initially, a total of 300 spectral signature measurements, synchronized with snow wetness and snow density, were collected in the field. The spectral reflectance of snow was then modeled as a function of snow properties using ANN. Four snow wetness and three snow density models were developed. A strong correlation was observed in near‐infrared and shortwave‐infrared region. The correlation analysis of ANN modeled snow density and snow wetness showed a strong linear relationship with field‐based data values ranging from 0.87–0.90 and 0.88–0.91, respectively. Our results indicate that an Artificial Intelligence (AI) approach, using a combination of Hyperspectral image processing and ANN, can be efficiently used to predict snow properties (wetness and density) in the Himalayan region. Recommendations for resource managers

• Snow properties, such as snow wetness and snow density are mainly investigated through field‐based survey but rugged terrains, difficult weather conditions, and logistics management issues establish remote sensing as an efficient alternative to monitor snow properties, especially in the mountain environment.
• Although Hyperspectral remote sensing is a powerful tool to conduct the quantitative analysis of the physical properties of snow, only a few studies have used hyperspectral data for the estimation of snow density and wetness in the Himalayan region. This could be because of the lack of synchronized snow properties data with field‐based spectral acquisitions.
• In combination with Hyperspectral image processing, Artificial Neural Network (ANN) can be a useful tool for effective snow modeling because of its ability to capture and represent complex input‐output relationships.
• Further research into understanding the applicability of neural networks to determine snow properties is required to obtain results from large snow cover areas of the Himalayan region.

     

Lyapunov inequalities for nabla Caputo boundary value problems

ABSTRACT

We will establish uniqueness of solutions to boundary value problems involving the nabla Caputo fractional difference under two-point boundary conditions and give an explicit expression for the Green's functions for these problems. Using the Green's functions for specific cases of these boundary value problems, we will then develop Lyapunov inequalities for certain nabla Caputo BVPs.     

A note on the eigenvalues of p‐fractional Hardy–Sobolev operator with indefinite weight

In this article, we study the eigenvalues of p‐fractional Hardy operator where , , , and Ω is an unbounded domain in with Lipschitz boundary containing 0. The weight function V may change sign and may have singular points. We also show that the least positive eigenvalue is simple and it is uniquely associated to a nonnegative eigenfunction. Moreover, we proved that there exists a sequence of eigenvalues as .     

Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false

In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) on undirected graphs. He proved that there exists an EMSO sentence ? such that $\mathsf{P}(G_n??)$ does not converge as $n\to \infty$ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices $\{1,\dots ,n\}$). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.     

Non‐self‐adjoint singular second‐order dynamic operators on time scale

In this study, maximal dissipative second‐order dynamic operators on semi‐infinite time scale are studied in the Hilbert space , that the extensions of a minimal symmetric operator in limit‐point case. We construct a self‐adjoint dilation of the dissipative operator together with its incoming and outgoing spectral representations so that we can determine the scattering function of the dilation as stated in the scheme of Lax‐Phillips. Moreover, we construct a functional model of the dissipative operator and identify its characteristic function in terms of the Weyl‐Titchmarsh function of a self‐adjoint second‐order dynamic operator. Finally, we prove the theorems on completeness of the system of root functions of the dissipative and accumulative dynamic operators.